Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

doc: make general copy-edit changes to policy.md #34943

Merged
merged 1 commit into from
Aug 29, 2020
Merged

doc: make general copy-edit changes to policy.md #34943

merged 1 commit into from
Aug 29, 2020

Conversation

Trott
Copy link
Member

@Trott Trott commented Aug 26, 2020

Checklist

@nodejs-github-bot nodejs-github-bot added doc Issues and PRs related to the documentations. policy Issues and PRs related to the policy subsystem. labels Aug 26, 2020
@joyeecheung joyeecheung added the author ready PRs that have at least one approval, no pending requests for changes, and a CI started. label Aug 27, 2020
@Trott
doc: make general copy-edit changes to policy.md
47f4080 
PR-URL: nodejs#34943
Reviewed-By: Gireesh Punathil <[email protected]>
Reviewed-By: Evan Lucas <[email protected]>
@Trott Trott merged commit 47f4080 into nodejs:master Aug 29, 2020
@Trott
Copy link
Member Author

Trott commented Aug 29, 2020

Landed in 47f4080

@Trott Trott deleted the policy.md branch August 29, 2020 13:54
richardlau pushed a commit that referenced this pull request Sep 1, 2020
@Trott @richardlau
doc: make general copy-edit changes to policy.md
1589f0e 
PR-URL: #34943
Reviewed-By: Gireesh Punathil <[email protected]>
Reviewed-By: Evan Lucas <[email protected]>
@richardlau richardlau mentioned this pull request Sep 2, 2020
Merged
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@evanlucas evanlucas evanlucas approved these changes

@gireeshpunathil gireeshpunathil gireeshpunathil approved these changes

Assignees
No one assigned
Labels
author ready PRs that have at least one approval, no pending requests for changes, and a CI started. doc Issues and PRs related to the documentations. policy Issues and PRs related to the policy subsystem.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@Trott @evanlucas @gireeshpunathil @joyeecheung @nodejs-github-bot